#ifndef LECTEURPHRASEAVECARBRE_H_
#define LECTEURPHRASEAVECARBRE_H_

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"
#include <string>

using namespace std;


class LecteurPhraseAvecArbre
{
public:
	LecteurPhraseAvecArbre(string nomFich);	 // Construit un lecteur de phrase pour interpreter
	                                         //  le programme dans le fichier nomFich

	void analyse();  // Si le contenu du fichier est conforme à la grammaire,
	                 //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                         //   la table des symboles (ts) et l'arbre abstrait (arbre) auront été construits
	                 // Sinon, le programme sera interrompu (exit).

	inline TableSymboles getTs ()    { return ts;    } // accesseur	
	inline Noeud*        getArbre () { return arbre; } // accesseur
        int get_Nb_Erreur(){return nb_Erreur;}

private:
    LecteurSymbole ls;    // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;    // la table des symboles valués
    Noeud*         arbre; // l'arbre abstrait
    int            nb_Erreur;
    // implémentation de la grammaire
    Noeud*  programme();        // <programme> ::= debut <seqInst> fin FIN_FICHIER
    Noeud*  seqInst();          // <seqInst> ::= <inst> ; { <inst> ; }
    Noeud*  inst();             // <inst> ::= <affectation>
    Noeud*  affectation();      // <affectation> ::= <variable> = <expression>
    Noeud*  expression();       // <expression> ::= <terme> { <opAdd> <terme> }
    Noeud*  facteur();          // <facteur> ::= <entier>  |  <variable>  |  <opUnaire> <expBool>  |  ( <expBool> )
    Noeud*  terme();            // <terme> ::= <facteur> { <opMult> <facteur> }
    Symbole opAdd();            // <opAdd> ::= + | -
    Symbole opMult();           // <opMult> ::= * | / 
    Noeud*  relation();         // <relation> ::= <expression> { <opRel> <expression> }
    Symbole opRel();            // <opRel> ::= == | != | < | <= | > | >=
    Symbole opUnaire();         // <opUnaire> ::= - | non 
    Noeud*  instSi();           // <instSi> ::= si ( <expBool> ) <seqInst> { sinonsi ( <expBool> ) <seqInst> } [ sinon <seqInst> ] finsi
    Noeud*  instTq();           // <instTq> ::= tantque ( <expBool> ) <seqInst> fintantque
    Noeud*  instRepeter();      // <instRepeter> ::= repeter <seqInst> jusqua ( <expBool> )
    Noeud*  instPour();         // <instPour> ::= pour ( <affectation> ; <expBool> ; <affectation>) <seqInst> finpour
    Noeud*  instLire();         // <instLire> ::= lire ( <variable> )     
    Noeud*  instEcrire();       // <instEcrire> ::= ecrire ( <expression> | <chaine> ) 
    Noeud*  expBool();          // <expBool> ::= <termeBool> { <opOu> <termeBool> }
    Noeud*  termeBool();        // <termeBool> ::= <relation> { <opEt> <relation> }
    Symbole opEt();             // <opEt> ::= et
    Symbole opOu();             // <opOu> ::= ou
    Noeud* instSelon();        // <instSelon> ::= selon (<expression> | <ENTIER>) cas <expression> | <ENTIER>:<seqInst>{ cas <expression> | <ENTIER>:<seqInst> } defaut:<seqInst> finselon
    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECARBRE_H_ */
